The cartesian closed bicategory of generalised species of structures
نویسندگان
چکیده
منابع مشابه
The Cartesian Closed Bicategory of Generalised Species of Structures
The concept of generalised species of structures between small categories and, correspondingly, that of generalised analytic functor between presheaf categories are introduced. An operation of substitution for generalised species, which is the counterpart to the composition of generalised analytic functors, is also put forward. These definitions encompass most notions of combinatorial species c...
متن کاملGeneralised Species of Structures: Cartesian Closed and Differential Structure (Working Draft)
We generalise Joyal’s notion of species of structures and develop their combinatorial calculus. In particular, we provide operations for their composition, addition, multiplication, pairing and projection, abstraction and evaluation, and differentiation; developing both the cartesian closed and linear structures of species.
متن کاملthe role of task-based techniques on the acquisition of english language structures by the intermediate efl students
this study examines the effetivenss of task-based activities in helping students learn english language structures for a better communication. initially, a michigan test was administered to the two groups of 52 students majoring in english at the allameh ghotb -e- ravandi university to ensure their homogeneity. the students scores on the grammar part of this test were also regarded as their pre...
15 صفحه اولinvestigating the feasibility of a proposed model for geometric design of deployable arch structures
deployable scissor type structures are composed of the so-called scissor-like elements (sles), which are connected to each other at an intermediate point through a pivotal connection and allow them to be folded into a compact bundle for storage or transport. several sles are connected to each other in order to form units with regular polygonal plan views. the sides and radii of the polygons are...
Cartesian closed subcategories of topological fuzzes
A category $mathbf{C}$ is called Cartesian closed provided that it has finite products and for each$mathbf{C}$-object $A$ the functor $(Atimes -): Ara A$ has a right adjoint. It is well known that the category $mathbf{TopFuzz}$ of all topological fuzzes is both complete and cocomplete, but it is not Cartesian closed. In this paper, we introduce some Cartesian closed subcategories of this cat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the London Mathematical Society
سال: 2007
ISSN: 0024-6107
DOI: 10.1112/jlms/jdm096